<!DOCTYPE html>
<script src="../resources/text-based-repaint.js"></script>
<script>
function repaintTest()
{
    document.getElementById('div').style.width = '400px';
}
window.onload = runRepaintAndPixelTest;
</script>
<style>
body {
    margin: 0;
}
#div {
    position: absolute;
    top: 100px;
    left: 100px;
    width: 200px;
    height: 200px;
    border: green 10px solid;
}
</style>
<div>
Tests repaint when a box with border is resized.
Passes if the result paint rects cover all changed part,
the new border is correctly drawn and there is no residue of the old border.
</div>
<div id="div"></div>
